mario unknown facts